fifo\_deliver(${\it es}$;${\it out}$;$d$;$i$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\uparrow$isrcv($e$)) \& lnk($e$) = ${\it out}$($i$) \& tag($e$) = $d$